x'=-x^3*e^t and x(0)=1